1. A Logic Book: Fundamentals of Reasoning
پدیدآورنده : Johnson, Robert M
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
71
.
J6
L6
1999
2. A logic book : fundamentals of reasoning
پدیدآورنده : Johnson, Robert M.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Logic
رده :
BC
71
.
J48
2007
3. A systems analysis of the logic of research and information processes: reasoning patterns...
پدیدآورنده : /Werner Kunz
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
4. A systems analysis of the logic of research and information processes: reasoning patterns in organic chemistry
پدیدآورنده : Kunz, Werner, 2291-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Chemistry, Organic- Research,، Research
رده :
QD
256
.
K9
5. Automating business modelling a guide to using logic to represent informal methods and support reasoning
پدیدآورنده : Chen-Burger, Yun-Heh., Yun-Heh Chen-Burger and Dave Robertson
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Industrial management- Computer simulation,، Industrial management- Mathematical models,، Business- Computer simulation,، Business- Mathematical models
رده :
HD
30
.
2
.
C473
2005
6. BASIC LOGIC; The Fundamental Principles of Formal Deductive Reasoning
پدیدآورنده : Mc Call, Raymond J
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
108
.
M33
B3
1952
7. Basic logic : the fundamental principles of formal deductive reasoning
پدیدآورنده : McCall, Raymond Joseph, 3191-
کتابخانه: (طهران)
موضوع : ، Logic
رده :
BC
108
.
M22B2
1952
8. Basic logic; the fundamental principles of formal deductive reasoning
پدیدآورنده : / J. McCall Roymond
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Basic logic;the fundamental principles of formal deductive reasoning.
پدیدآورنده : Raymond J. McCall
موضوع : Logic.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Boolean reasoning : the logic of Boolean equations
پدیدآورنده : Brown, Frank Markha
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
B76
1990
11. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
12. Conceptual graphs and fuzzy logic : a fusion for representing and reasoning with linguistic information
پدیدآورنده : Tru Hoang Cao
کتابخانه: (طهران)
موضوع : ، Fuzzy graphs,، Conceptual structures )Information theory(,، Fuzzy logic,، Logic programming,، Computational intelligence
رده :
QA
166
.
175
.
C37C6
13. Inductive reasoning : a study of Tarka and its role in Indian logic
پدیدآورنده : By Sitansusekhar Bagchi
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Reasoning,Logic,Induction (Logic)
14. Knowledge representation and reasoning under uncertainty : logic at work
پدیدآورنده : Michael Masuch, Laszlo Polos, )eds.(
کتابخانه: (طهران)
موضوع : ، Knowledge representation )Information theory(,، Reasoning,، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
808
15. LOGIC, RHETORIC, AND LEGAL REASONING IN THE QURAN
پدیدآورنده : / Rosalind Ward Gwynne
کتابخانه: مکتبة مؤسسة دارالحدیث العلمیة-الثقافیة (قم)
موضوع :
رده :
BP65
/G8
,
L6
16. LOGIC: The Art of Defining and Reasoning
پدیدآورنده : Oesterle, John A.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
108
.
O48
L6
1963
17. Logic, Language and Reasoning
پدیدآورنده : edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
18. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
پدیدآورنده : / Marcello Balduccini, Tran Cao Son
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
19. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
پدیدآورنده : / Jack Minker (auth.), Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
20. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
